Perspectives in programming

Perspectives of approximate dynamic programming

Approximate dynamic programming has evolved, initially independently, within operations research, computer science and the engineering controls community, all searching for practical tools for solving sequential stochastic optimization problems. More so than other communities, operations research continued to develop the theory behind the basic model introduced by Bellman with discrete states a...

Programming Learning Requirements based on Multi Perspectives

Received Oct 12, 2016 Revised Jan 15, 2017 Accepted Jan 30, 2017 Students occasionally find it difficult to learn new programming languages. They often confront unfamiliar programming terms and having difficulty to visualize the processes that happen in computer memory. Weak students find this a burden and end up memorizing the processes without understanding them and their workings. This situa...

Perspectives of Science in Iran

Perspectives of Science in Iran

Perspectives for proof unwinding by programming languages techniques

In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific essay, written for the audience of proof theorists as well as the working mathematician, is not a survey of the field, but rather a personal view of the author ...